https://github.com/wyattjoh/logictex

https://github.com/wyattjoh/logictex

Last synced: 18 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/wyattjoh/logictex
• Owner: wyattjoh
• Created: 2013-05-21T00:04:08.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2013-05-21T02:27:42.000Z (over 11 years ago)
• Last Synced: 2024-10-11T18:43:56.405Z (about 1 month ago)
• Language: Python
• Size: 105 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# LogicTex

## Usage

***python3 shell***

	>>> from logic_tex import LogicTable

	>>> expression = [['A', '&', 'B'], '=', ['~', 'B']]

	>>> lt = LogicTable(expression)

	>>> lt.generate_question('3.1Eb')

	\input{3.1Eb.tex}

***assignment.tex***

	\documentclass[11pt, oneside]{article}

	\usepackage{geometry}

	\geometry{letterpaper}

	\usepackage{graphicx}

	\usepackage{amssymb}

	\begin{document}

	\input{3.1Eb.tex}

	\end{document}  

***3.1Eb.tex***

	\begin{tabular}{ c c | c c c c c c }

		A & B & (A & $\&$ & B) & $\equiv$ & $\lnot$ & B \\

		\hline

		T & T & T & T & T & F & F & T \\

		T & F & T & F & F & F & T & F \\

		F & T & F & F & T & T & F & T \\

		F & F & F & F & F & F & T & F \\

	\end{tabular}

## Testing

Testing is done via doctest.

	python3 logic_table.py