Truth Tables

4.2
527 рд╕рдореАрдХреНрд╖рд╛рдПрдВ
1┬ард▓рд╛рдЦ+
рдбрд╛рдЙрдирд▓реЛрдб
рдХреЙрдиреНрдЯреЗрдВрдЯ рд░реЗрдЯрд┐рдВрдЧ
рд╕рднреА
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ
рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ рдХреА рдЗрдореЗрдЬ

рдЗрд╕ рдРрдкреНрд▓рд┐рдХреЗрд╢рди рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЬрд╛рдирдХрд╛рд░реА

рдЗрд╕ рдХрд╛рд░реНрдпрдХреНрд░рдо рдХреЗ рдПрдХрдорд╛рддреНрд░ рдЙрджреНрджреЗрд╢реНрдп рдХреЗ рд╕реГрдЬрди, рдФрд░, рд╕рддреНрдп рд╕рд╛рд░рдгреА рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░ рд░рд╣рд╛ рд╣реИ.

рдЗрд╕ рдореБрдХреНрдд рд╕рдВрд╕реНрдХрд░рдг рд╢рд╛рд╕реНрддреНрд░реАрдп рддрд░реНрдХ рдХреЗ рд╕рднреА рд╕рд╛рдорд╛рдиреНрдп рд╕рдВрдпреЛрдЬрд┐рдпреЛрдВ рдХрд╛ рд╕рдорд░реНрдерди рдХрд░рддрд╛ рд╣реИ, рдХрд┐ рдХреНрд░рдорд╢: рдирд┐рд╖реЗрдз, рд╕рдВрдпреЛрдЬрди, (рд╕рдореНрдорд┐рд▓рд┐рдд) рд╡рд┐рдпреЛрдЬрди, conditonal (рд╕рд╛рдордЧреНрд░реА рдирд┐рд╣рд┐рддрд╛рд░реНрде), рдФрд░ biconditional (рд╕рд╛рдордЧреНрд░реА рддреБрд▓реНрдпрддрд╛), рд╕рд╛рде рд╣реА рд╕рдЪ рдФрд░ рдЭреВрда denoting рд╕реНрдерд┐рд░рд╛рдВрдХ 1 рдФрд░ 0 рд╣реИ. рдПрдХ рдЕрдЪреНрдЫреА рдмрд╛рдд рддрд░реНрдХ рд╕реЗ рдХреБрдЫ рд╣рдж рддрдХ рдмреЛрд░рд┐рдВрдЧ рдорд╛рдирдХ рдЕрдВрдХрди рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдЖрдк рднреА, Lukasiewicz рдХреА рдзрд╛рд░рд╛ рд▓рд╛рдЗрди, рдЪрдордХрджрд╛рд░ рдкреЛрд▓рд┐рд╢ рд╕рдВрдХреЗрддрди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рд╡рд╣ рдпрд╣ рд╣реИ.

рдФрд░ рдпрд╣ рдпрд╣рд╛рдБ рдмрдВрдж рдирд╣реАрдВ рдХрд░рддрд╛ рд╣реИ. рдЖрдк рд╡реНрдпрдХреНрддрд┐ рдХреЗ рдиреАрдЪреЗ рдХрд░рдиреЗ рд╡рд╛рд▓реА рдкреГрдереНрд╡реА, рдЖрдо рднрд╛рд╡рдирд╛ рддрд░рд╣ рдХрд░ рд░рд╣реЗ рд╣реИрдВ, рддреЛ рдЖрдкрдХреЛ рдпрд╣ рдЖрд╢реНрд╡рд╕реНрдд рдбрд┐рдлрд╝реЙрд▓реНрдЯ рд░реВрдк рд╕реЗ, рдХрд╛рд░реНрдпрдХреНрд░рдо рд╢рд╛рд╕реНрддреНрд░реАрдп, рджреЛ рдорд╣рддреНрд╡рдкреВрд░реНрдг, рддрд░реНрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ, рдХрд┐ рдорд┐рд▓ рдЬрд╛рдПрдЧрд╛. рдЖрдк рдПрдХ рдЙрджреНрдпрдо рдХреА рдХрдореА рдХреЛ рд░реЛрдХрдиреЗ рдХрднреА рдирд╣реАрдВ, рд╕рд╛рд╣рд╕реА рдкреНрд░рдХрд╛рд░ рдХреЗ рдФрд░ рдЕрдзрд┐рдХ рдХрд░ рд░рд╣реЗ рд╣реИрдВ рд▓реЗрдХрд┐рди, рдЕрдЧрд░ рдЖрдк рдПрдВрдбреНрд░реЙрдпрдб рднреА, рддрд░реНрдХ рдХреА рдЧреИрд░ рд╢рд╛рд╕реНрддреНрд░реАрдп, рдмрд╣реБ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдХреЗ рдПрдХ рдирдВрдмрд░ рдХрд╛ рд╕рдорд░реНрдерди рдХрд░рддрд╛ рд╣реИ рдХреЗ рд▓рд┐рдП рд╕рдЪ рд╣реИ рдХрд┐ рдЯреЗрдмрд▓реНрд╕ рдЬрд╛рдирдиреЗ рдХреЗ рд▓рд┐рдП рдЦреБрд╢ рд╣реЛ рдЬрд╛рдПрдЧрд╛. рджреЛ рдмрд╛рд░ рдПрдХ рдирджреА рдореЗрдВ рдкреНрд░рд╡реЗрд╢ рдирд╣реАрдВ рд╣реИ, рдФрд░ рджреЛ рдирдХрд╛рд░рд╛рддреНрдордХ рдПрдХ рдкреНрд░рддрд┐рдЬреНрдЮрд╛рди рдирд╣реАрдВ рдмрдирд╛рддреЗ рд╣реИрдВ, рддреЛ рдмрд╛рдд рд╣реИ!
рдкрд┐рдЫрд▓реА рдмрд╛рд░ рдЕрдкрдбреЗрдЯ рд╣реЛрдиреЗ рдХреА рддрд╛рд░реАрдЦ
14 рдирд╡ре░ 2013

рдбреЗрдЯрд╛ рдХреА рд╕реБрд░рдХреНрд╖рд╛

рдЖрдкрдХреЗ рдбреЗрдЯрд╛ рдХреА рд╕реБрд░рдХреНрд╖рд╛, рдЗрд╕ рдмрд╛рдд рдкрд░ рдирд┐рд░реНрднрд░ рдХрд░рддреА рд╣реИ рдХрд┐ рдбреЗрд╡рд▓рдкрд░, рдбреЗрдЯрд╛ рдХреЛ рдХреИрд╕реЗ рдЗрдХрдЯреНрдард╛ рдФрд░ рд╢реЗрдпрд░ рдХрд░рддреЗ рд╣реИрдВ. рдбреЗрдЯрд╛ рдХреЛ рдирд┐рдЬреА рдФрд░ рд╕реБрд░рдХреНрд╖рд┐рдд рд░рдЦрдиреЗ рдХреЗ рддрд░реАрдХреЗ рдЕрд▓рдЧ-рдЕрд▓рдЧ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ. рдпреЗ рдЖрдкрдХреА рдЬрдЧрд╣, рдЙрдореНрд░, рдФрд░ рдРрдкреНрд▓рд┐рдХреЗрд╢рди рдХреЗ рдЗрд╕реНрддреЗрдорд╛рд▓ рдХреЗ рд╣рд┐рд╕рд╛рдм рд╕реЗ рддрдп рдХрд┐рдП рдЬрд╛рддреЗ рд╣реИрдВ. рдпрд╣ рдЬрд╛рдирдХрд╛рд░реА рдбреЗрд╡рд▓рдкрд░ рдЙрдкрд▓рдмреНрдз рдХрд░рд╛рддрд╛ рд╣реИ рдФрд░ рд╕рдордп-рд╕рдордп рдкрд░ рдЗрд╕ рдЬрд╛рдирдХрд╛рд░реА рдХреЛ рдЕрдкрдбреЗрдЯ рднреА рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ.
рддреАрд╕рд░реЗ рдкрдХреНрд╖реЛрдВ рдХреЗ рд╕рд╛рде рдХреЛрдИ рдбреЗрдЯрд╛ рд╢реЗрдпрд░ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛
рдбреЗрд╡рд▓рдкрд░ рдХрд┐рд╕ рддрд░рд╣ рд╕реЗ рдЖрдкрдХрд╛ рдбреЗрдЯрд╛ рд╢реЗрдпрд░ рдХрд░рддреЗ рд╣реИрдВ, рдЗрд╕ рдмрд╛рд░реЗ рдореЗрдВ рдЬрд╝реНрдпрд╛рджрд╛ рдЬрд╛рдиреЗрдВ
рдХреЛрдИ рдбреЗрдЯрд╛ рдЗрдХрдЯреНрдард╛ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЧрдпрд╛
рдбреЗрд╡рд▓рдкрд░ рдХрд┐рд╕ рддрд░рд╣ рд╕реЗ рдЖрдкрдХрд╛ рдбреЗрдЯрд╛ рдЗрдХрдЯреНрдард╛ рдХрд░рддреЗ рд╣реИрдВ, рдЗрд╕ рдмрд╛рд░реЗ рдореЗрдВ рдЬрд╝реНрдпрд╛рджрд╛ рдЬрд╛рдиреЗрдВ

рд░реЗрдЯрд┐рдВрдЧ рдФрд░ рд╕рдореАрдХреНрд╖рд╛рдПрдВ

4.3
484 рд╕рдореАрдХреНрд╖рд╛рдПрдВ

рдирдпрд╛ рдХреНрдпрд╛ рд╣реИ

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)