Spełnialność formuły zdaniowej