Formule (logická)
Formula je logický výraz, který obsahuje symboly a logické operace, které se dají vyhodnotit jako pravdivé či nepravdivé.
Formula je logický výraz, který obsahuje symboly a logické operace, které se dají vyhodnotit jako pravdivé či nepravdivé.